/************************************************************************
 * AIDE - Automata Identification Engine
 * Copyright (C) 2012-2013 Ali Khalili (khalili_DOT_ir_@SIGN_gmail_DOT_com)
 * **********************************************************************
 * This program is free software; you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License (LGPL) published 
 * by the Free Software Foundation; either version 2.1 of the License, or (at your
 * option) any later version. This program is distributed without any
 * warranty. See the GNU Lesser General Public License for more details. 
 * ***********************************************************************
 * File         :     
 * Description  :     
 * Change log   :     	-Date:  Change
 ************************************************************************/
using System;
using System.Collections.Generic;

namespace SMLib.Automata.Base
{
	/// <summary>
	/// Trace is a sequence of I/O symbols [in IA system]
	/// </summary>
	public class Trace
	{
		List<Step> steps;

		/// <summary>
		/// Initializes a new instance of the <see cref="SMLib.Automata.Base.Trace"/> class.
		/// </summary>
		public Trace ()
		{
			steps = new List<Step> ();
		}

		/// <summary>
		/// Gets the <see cref="SMLib.Automata.Base.Trace"/> with the specified index i.
		/// </summary>
		/// <param name="i">The index</param>
		Step this[int i]
		{
			get {
				return steps[i];
			}
		}
	}
}

